Carbonates: their precipitation, sedimentation, reef/platform formation, and diagenesis – Progress in Earth and Planetary Science (PEPS)