Influence of magma intrusion on coal geochemical characteristics: a case study of Tiefa Daxing coal mine | Synapse