Contact-Aware Optimal Resource Allocation for Mobile Data Offloading in Opportunistic Vehicular Networks | Synapse