Efficient active global localization for mobile robots operating in large and cooperative environments