How was the revolution in agriculture necessary for the industrial revolution?