Variability Modeling of Service Robots: Experiences and Challenges