Variability Modeling and QoS Analysis of Web Services Orchestrations