Computational methods and challenges for large-scale circuit mapping