Warren Buffett Charity Lunch Auction Nets $9 Million, a Sharp Drop From 2022 Record