Bányászat: Szénbányászat: Általában