Models of Homotopy Type Theory With an Interval Type