Notification, gamification and cueing in mobile health applications