Citi's guide to trading the debt ceiling: Beware of companies with high revenues from U.S. government