Techniques and applications for the efficient simulation of Gaussian rare events