Geodesy in Japan: legends and highlights