three type of coal mining and definition