Tag Counting and Monitoring in Large-Scale RFID Systems Theoretic