how many types of coal are there