ciudad juarez is part of mexico