Wireless Traffic Prediction with Scalable Gaussian Process: Framework, Algorithms, and Verification