Use of varenicline and nicotine replacement therapy in people with and without general practitioner-recorded dementia: retrospective cohort study of routine electronic medical records