process of formation of coal is known as