Men's health promotion by general practitioners in a workplace setting.