GNSS-Based Dual-Antenna Heading Augmentation for Attitude and Heading Reference Systems