Exact solutions and numerical verification for isothermal ice sheets