Indian-American Dev Shah wins 2023 Scripps National Spelling Bee