Principle of equivalence and models of HoTT