Origin and diagenetic evolution of Ca–Mg–Fe carbonates in some coalfields of Japan | Synapse