Interval analysis applied to re-entry flight trajectory optimization