Cost-effectiveness of options for the diagnosis of high blood pressure in primary care: a modelling study