New and Improved GPS Satellite Constellation Availability Model