Synthesis and Properties of Optimally Value-Aligned Normative Systems