Dusty star-forming galaxies at high redshift