Cedos: a Practical Cellular Data Offloading System for Mobile Users