Model-based user interface adaptation