How does David become king over all Israel?