A theoretical framework for network monitoring exploiting segment routing counters