AwareNotifications: Multi-Device Semantic Notification Handling with User-Defined Preferences