Is the difference between the oil rent in East Asia (all income levels) and East Asia (developing only) greater than the difference between the coal rent in East Asia (all income levels) and East Asia (developing only) ?