Peer to Peer Equation Augmentation for an Altitude Aided GNSS Receiver