The original idea of a Chinese satellite navigation system was conceived by Chen Fangyun and his colleagues in the 1980s. Who first came up with the idea for a Japanese satellite navigation system?