coal mine industry with its full name