Protocol, rationale and design of DAbigatran for Stroke PreVention In Atrial Fibrillation in MoDerate or Severe Mitral Stenosis (DAVID-MS): a randomised, open-label study