Spatio-Temporal Data Analysis at Scale Using Models Based on Gaussian Processes