add stuff about Cisinski homotopy structures, and about the Quillen model structure on simplicial sets