Deciding Reachability in Mobile Ambients