Find customers who have purchased products from more than 12 different categories. Return the customer's first name, last name, and the number of distinct categories they bought from as categories_bought. Sort by categories_bought descending, then by last name.