Gravar-mail: Development and description of a decision analysis based decision support tool for stroke prevention in atrial fibrillation