Using Mixed Integer Programming for Matching in an Observational Study of Kidney Failure after Surgery