每吨干煤炼焦后可发生( )立方米的焦炉煤气。