Experiences With Utility-Based Adaptivity Modeling for Mobile Applications