Was the revolution in agriculture necessary ti the industrial revolution?