MUGG and the optimization of aviation navigation with Galileo and DFMC EGNOS