Sigma Overbounding Using a Position Domain Method for the Local Area Augmentation of GPS