A Utility-Based Adaptivity Model for Mobile Applications