Predictive Control of an Airborne Wind Energy System using Gaussian Process Models