Scheduling models for optimal aircraft traffic control at busy airports: Tardiness, priorities, equity and violations considerations