Cross-Layer Analysis of RFID Systems with Correlated Shadowing and Random Radiation Efficiency