The principles of flight planning and ATM messaging