John W. Tukey's contributions to robust statistics