Sequential methods for rare event simulation : theory and applications