erp coal mining instruction manuals