Origin of minerals and elements in the Late Permian coals, tonsteins, and host rocks of the Xinde Mine, Xuanwei, eastern Yunnan, China