RPO semantics for Mobile Ambients