Lineament Length and Density Analyses Based on the Segment Tracing Algorithm: A Case Study of the Gaosong Field in Gejiu Tin Mine, China