David becomes king of Judah