Recent Advances in Satellite Aeronautical Communications Modeling