How old was king david when he died?