岩石洞室开挖侧向尺寸