A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks