Recent progress of seismic observation networks in Japan —Hi-net, F-net, K-NET and KiK-net— | Synapse