Sampling designs and prediction methods for Gaussian spatial processes