Stability Analysis of Lava Tunnels on Santa Cruz Island (Galapagos Islands, Ecuador) Using Rock Mass Classifications: Empirical Approach and Numerical Modeling