Tamaño del mercado de minería y canteras de piedra, participación y análisis de la industria, por piedra (mármol, granito, piedra caliza, arenisca, otras), por tipo (minería de piedra dimensionada, minería de piedra triturada) y pronóstico regional, 2024-2032