types of open cast coal mining company name