“The digital poorhouse is hard to understand. The software, algorithms, and models that power it are complex and often secret. Sometimes they are protected business processes, as in the case of the IBM and ACS software that denied needy”