Galaxies at high redshift