Leveling by GPS Relative Positioning with Carrier Phases