一般民用建筑的门高不宜小于（）。若门设有亮子时，亮子高度一般为（）。