An environment for representing and using medical checklists on mobile devices