Why Do We Redistribute So Much But Tag So Little? Normative diversity and optimal taxation