GPS almanac calculation and satellite constellation prediction simulation