Resource Management in Space-Air-Ground Integrated Vehicular Networks: SDN Control and AI Algorithm Design