人工挖基坑时,操作人员之间一般要保持大于( )的安全距离。