waht are the four main types of coal