How to register users' devices and send push notifications on certain events.