The Cumulative Hierarchy in Homotopy Type Theory