Burial diagenesis and thermochemical sulfate reduction, Smackover Formation, southeastern Mississippi salt basin | Synapse