Zojila tunnel breakthrough: Why digging through the Himalayas is an engineering challenge