Tamaño del mercado de la máquina de procesamiento de piedra, recurso compartido y análisis de la industria, por tipo de producto, por tipos de piedra, por aplicación y pronóstico regional, 2023-2030