Oil below $80 — what’s going on?