3 major types of coal extraction