Mixed-water and hydrothermal dolomitization of the Pliocene Shirahama Limestone, Izu Peninsula, central Japan