palavras-chave Data Mining cutter soil mixing laboratory formulations neural networks soft soil support vector machines