民用建筑常用门的高度一般应大于（ ）mm。