Simulation of Skype Peer-to-peer Web Services Choreography Using Occam-Pi