Andrew Odlyzko: Turing and the Riemann zeta function