Qual dos sistemas GNSS (Global Navigation Satellite System) abaixo foi desenvolvido pela Agência Espacial Europeia (European Spatial Agency - ESA) como uma iniciativa civil para um sistema de posicionamento global?