Factbox: Which creditors will have priority for Citgo share auction?