Text this: The reformation atonement theory of penal substitution : a systematic-theological study of its coherence with divine justice