Global optimization using interval arithmetic