On the Benefit of Adding User Preferences to Notification Delivery