Dynamic human resource management decision support model based on tactical aircraft maintenance demand forecasts