Solution Enumeration by Optimality in Answer Set Programming