Operations research for health care.