John Mitchell's paper on the effect of gravity on light