Texas comptroller declares economic recession over