A Comparative Study of Optimization Models for Condition-Based Maintenance Scheduling of an Aircraft Fleet