Iron mineral evolution as an important geobiological driver of deep-time carbon sequestration in coal-bearing systems | Synapse