Bin-objective shape optimization based on linear programming model of arch dam