Skilled immigrants and technology adoption: Evidence from the German settlements in the Russian empire