Invariant homotopy theory in the univalent foundations