History of the GPS system