A Model for the Aggregation of QoS in WS Compositions Involving Redundant Services