NAVMAN, a Model for Estimating Maintenance Personnel Requirements for Navy Aircraft: Technical appendixes