process of formation of coal is called