The epidemiology of resting heart rate in a male working population: association with blood pressure, age, smoking habits and other cardiovascular risk factors