Algorithms to Live By: The Computer Science of Human Decisions (USED)