Diversificación y tamaño en las empresas industriales españolas