Text this: Rock mechanics in underground construction