Theoretical analysis on caching effects in urban vehicular ad hoc networks | Synapse