Globally convergent autocalibration using interval analysis