Construction of boreholes