The Value and Practice of a Data Diet: How To Drastically Cut Mobile Data Costs