Magnitude and location of historical earthquakes in Japan and implications for the 1855 Ansei Edo earthquake