Galaxies at high redshift and their evolution over cosmic time