门洞口高度大于多少时，应设置亮窗。