Why is it important to understand penal substitutionary atonement?