Extension of tunneling quality index and rock mass rating systems for tunnel support design through back calculations in highly stressed jointed rock mass: An empirical approach based on tunneling data from Himalaya