Lifetime risk assessment in cholesterol management among hypertensive patients: observational cross-sectional study based on electronic health record data