Australia's computer program has cut off a million people's benefits automatically. Then they have to prove the program was wrong.