How many taxpayers use the military?