Complexity of Nesting Analysis in Mobile Ambients