Antihypertensive treatment after first stroke in primary care: results from the General Practitioner Research Database