Crescimento industrial nos Países Baixos segue forte em outubro