Trends in leisure time and work-related physical activity in the Spanish working population, 1987-2006.