mayor of Jaén — political position in Spain