Modeling Redundance-based Routing in Delay Tolerant Networks