煤矿地质学——矿物与岩石