The response to the trench diseases in World War I: a triumph of public health science.