A Theoretical Framework for Network Monitoring exploiting Segment Routing counters