processes and machinery required to extract coal from the lithosphere