Timing Information from Global Navigation Satellite Systems (GNSS) and their augmentations