I'm writing server code to query all the zip codes for certain users, invoke a REST API to get the weather for these zip codes, and send push notifications to users daily of the weather forecast. The problem is the devices collection and users collections are separate. How can do I send a push to these users with certain zip codes? Please assist.