Efficient Simulation of Overflow Probability for Gaussian Processes