Popular Maximum-Utility Matchings with Matroid Constraints | Synapse