Statistics for Investigating the prevalence of health risk behavior and the association with leisure boredom among high school students in Lagos, Nigeria