Did God tell David to take a census and then punish him for it?