Leram - Tag Counting and Monitoring in Large-Scale RFID Systems: Theoretical Foundations and Algorithm Design