The Method and Application of Aircrew Proficiency to High-Fidelity Mission Models in Support of Air Warfare Analysis