Modeling anti-collision protocols for RFID systems with multiple access interference