Interval Enclosures of Integrals