It is too broad to answer. Underground coal mining is based on the rock mechanics, So FLAC, ANAYS, Abaquas are widely used in coal mining. For underground coal mining in U.S., the NOISH recommends the following softwares and you can download from this website: http://www.cdc.gov/niosh/mining/works/productlist.html.
I personally used it to model subsidence of shallow tunnelling in urban environment and a friend of mine used it for coal longwall mining and its subsidence modelling