David king of Israel explanation