Add filtering to push notifications

One-sentence description

Desired behaviour

Have a settings field in the Device model that holds the categories (see #537 (closed)) of messages that device should receive and filter devices when sending a message based on these settings so that these devices do not receive messages of categories that they have turned off.