环卫数字孪生迈向深水区:模型轻量化成为破局关键