Ranging error overbounds for navigation integrity of local area augmented GPS