Human Performance Modeling in Aviation