Turbulence modeling and Kalman prediction for the control of large AO systems