Slicing-Based Resource Management for Satellite-Terrestrial Integrated Vehicular Networks