Cloud-Based Flight Management Systems for Next Generation Aircraft