¿Cuántas provincias componen la comunidad autónoma de Extremadura?