Describir: Formulations and Algorithms for the Kidney Exchange Problem