Frequency of leisure-time physical activity and pulse pressure in the Brazilian population: a population-based study.