A fast vertical trajectory prediction method for air traffic management, and relevant ATM system