Rare-event simulation and efficient discretization for the supremum of Gaussian random fields. (September 2015)