Stroke patient's alarm choice: General practitioner or emergency medical services