John Mackay (Oxford), The large scale geometry of random groups