Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem