coal mining process and ore