Operational research approaches and mathematical models for kidney exchange: A literature survey and empirical evaluation