A Fully Abstract Model for Mobile Ambients