Behavioural theory for Mobile Ambients