Using Mixed Integer Programming for Matching in an Observational Study of Kidney Failure After Surgery | Synapse