Sferna trigonometrija in čas v astronomiji