GPS/GIOVE interoperability: GGTO and timing biases