how many texans died at the alamo