The law of excluded middle in the simplicial model of type theory