A branch and cut heuristic for a runway scheduling problem