King David census explanation