Green machine learning via augmented Gaussian processes and multi-information source optimization