Peer to peer equation augmentation for an altitude aided GNSS receiver