Quantitative Comparisons Between Fine-Mapping Methods and Defining Credible Intervals with Multi-Objective Optimization