How do I file for the military service deduction?