Text this: Updating Method of Open-pit Mine Digital Map Based on Vehicle-cloud Collaboration