measuring tool for boreholes