Gravar-mail: South African platinum mine employees reduce smoking in 5 years