Design and development of a low-stretch spanning tree preconditioner for large-scale circuit simulation