Criteria and procedures for validating biomathematical models of human performance and fatigue : procedures for analysis of work schedules.