The Simplicial Model of Univalence