method of mining of coal