Text this: Literature review of rock properties for analysis of navigation structures founded on rock