kömür madenciliğinde kullanılan malzemeler