拱形门洞尺寸