¿Cuál es el tercer municipio más poblado de Badajoz?