Declining blood pressure and intensification of blood pressure management among people over 80 years: cohort study using electronic health records