Synthetic coral-reef terraces and variations of Quaternary sea level