who led the mexican army in the battle for puebla?