INT-filter: Mitigating Data Collection Overhead for High-Resolution In-band Network Telemetry