mayor of Badajoz — political position in Spain