Want to know where you’ll still need a mask in Dallas? City database is intended to help