Instrumentação geotécnica e tamanho do mercado, participação, crescimento e análise da indústria, por tipo (hardware e software, serviços), por aplicação (túnel, construção, reservatório, outros), insights regionais e previsão para 2032