Digital Twin for Edge Computing in Smart Vehicular Systems