The Air Traffic Flow Management Problem with Time Windows