Statistical network monitoring: Methodology and application to carrier-grade NAT