Wind Profile Estimation from Aircraft Derived Data Using Kalman Filters and Gaussian Process Regression