Tamaño del mercado de cámaras de refugio para minas de Hard Rock, participación, crecimiento y análisis de la industria, por tipos (capacidad inferior a 20 personas, capacidad superior a 20 personas), por aplicaciones cubiertas (industria minera, industria de túneles), información regional y pronóstico para 2035