Traders pile into $80 US oil bets as tensions rise in Middle East