What are the leading theories in moral philosophy and which of them might be technically the easiest to encode into an AI?