Divine Substitution in Justification