A smooth proximity measure for optimality in multi-objective optimization using Benson's method. (May 2020)