Text this: Using roof borehole electrical resistivity tomography to monitor roof water infiltration in a mine work face