Advances in Aeronautical Informatics: Technologies Towards Flight 4.0