Specifying Variability in Service Contracts