The Gulf oil spill in context: US oil consumption