Energy-efficient Traffic Allocation in SDN-based Backhaul Networks: Theory and Implementation