I work for the State of Texas and make monthly contributions to an ERS retirement account. Is my ERS considered an IRA? Can I use this as part of my deductions?