Title: The coal mining handbook .