A Kantian Revision of the Doctrine of Double Effect