Splitting for rare event simulation : A large deviation approach to design and analysis