Fleet management: planning, scheduling, and maintenance operations