introduction to coal mining html