Why is the debt ceiling defined as an absolute number? Wouldn't it make more sense to define it as a percent of the GDP or tax revenue