MGM Resorts International reports Q3 2023 results