coal underground mining methods bibliography