Web Service Composition Approaches: From Industrial Standards to Formal Methods