Utilitarian deontic logic