Heuristic and exact techniques for aircraft maintenance scheduling