Detailed Mathematical Programming Formulations for the Aircraft Landing Problem on a Single and Multiple Runway Configurations.