Trader bets $129 million against semiconductor ETF in record options trade