what are the four types of biblical criticism