when did the texans defeat the mexican army and end the revolution?