Judicial Effort and the Appeal System: Theory and Experiment