Encoding Ethics to Compute Value-Aligned Norms