Military Training Resource Scheduling: System Model, Optimal and Heuristic Decision Processes