Introduction to geodetic time series analysis