Introduction to Rare Event Simulation