Finite-Dimensional Approximation of Gaussian Processes