What is the US Uniformed Services retirement benefit deduction? What amount to I place in the box?