coal formation process bituminous cracking