Here Is How to Improve DeFi Governance Using Ideas from Computational Voting Theory