What simulations tell us about the quenching of high redshift galaxies