How much harder will robots make us work?