3D-mapping-aided GNSS exploiting Galileo for better accuracy in dense urban environments