Time metrology in Global Navigation Satellite Systems