一般民用建筑门的高度不宜小于______。