Abstractions And Algorithms For Control Of Extensible And Heterogeneous Virtualized Network Infrastructures