Dota 2's The International 2023: Location, dates, tickets, and more