Estimation of elevation-dependent satellite antenna phase center variations of GPS satellites