Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory.