Green Machine Learning via Augmented Gaussian Processes and Multi-Information Source Optimization