Arguing Machines: Human Supervision of Black Box AI Systems That Make Life-Critical Decisions