Wind models and stochastic programming algorithms for en route trajectory prediction and control