EGNOS and GALILEO for Aviation