机械开挖管沟作业时，管顶上方保留的覆土厚度不应少于( )m。