Protocol for an automated, pragmatic, embedded, adaptive randomised controlled trial: behavioural economics-informed mobile phone-based reminder messages to improve clinic attendance in a Botswanan school-based vision screening programme