"Redistributing Optimally: Of Tax Rules, Legal Rules, and Insurance"