Just How Much of Higher Education Can Be Automated?