Sigma-Mean Monitoring for the Local Area Augmentation of GPS