The Simplicial Model of Univalent Foundations (After Voevodsky)