Which doctrine of final punishment is most compatible with the Christian doctrine of a substitutionary atonement?