Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems