The Pentagon doesn’t know how much it is spending on AI