what kind of roof supporting systems used in coal mines