Pātuhitia tēnei: Rock mechanics and the design of structures in rock