Modelling Mobility with PEPA Nets