Modeling and Analyzing Variability for Mobile Information Systems