How many countries (by total revenues) does it take to match the US military expenses?