The US is the world’s largest oil producer, so why does it need Venezuela’s low-grade crude?