The pace of technological progress