Gravar-mail: Design Challenges in Converting a Paper Checklist to Digital Format for Dynamic Medical Settings