China’s Beidou satellite navigation system: a rival to US-built GPS?