John Mills — English writer on agriculture, translator and editor