How was two lakh tonnes of rock carved out of a single hill?