From Theory to Experimental Evaluation: Resource Management in Software-Defined Vehicular Networks