which is process which results in the formation of coal