¿Quién dirigió a las tropas nacionales en la toma de Badajoz?