Text this: Rock mechanics for construction of the gravimeter vault at the Matjiesfontein Space Geodesy and Earth Observation Observatory