GPS geodetic network adjustment using triple difference observations and a priori information