processes carried out in the formation of coal