Risk of stroke in people with type 2 diabetes in the UK: a study using the General Practice Research Database