Former DEA officer pleads guilty to using gun in robbery