Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus