Thales Alenia Space and Inmarsat to enhance air traffic management in Europe