A productivity-increasing notification system