Stepwise Refinable Service Descriptions: Adapting DAML-S to Staged Service Trading