Japan’s earthquake early warning system