what is process of mining coal