Anticollision Protocols for Single-Reader RFID Systems: Temporal Analysis and Optimization