“comprehensible and consistent” doctrine of exhaustion of patents