method of coal mining