Text this: Determining the Key Design Parameters of Tool-Path Planning for Rock Joint Carving.