Optimality of weighted contracts for multi-agent contract design with a budget | Synapse