Spain's manufacturing sector posts solid growth in October, PMI shows