On the Estimation of Vector Wind Profiles Using Aircraft-Derived Data and Gaussian Process Regression