Which of the following kings of Israel is credited with establishing a centralized sanctuary for worship in Jerusalem, effectively diminishing the religious significance of other high places?