What was the original name of the global navigation system that consists of 11 satellites, one of which was launched in 1978?