Internal Universes in Models of Homotopy Type Theory