Tectonic history of the Shikoku marginal basin