Finite-State Markov Channel Based Modeling of RF Energy Harvesting Systems | Synapse