Why Is Joseph Considered a Type of Christ in Biblical Typology