MIA vs OKC 10/01/23 FULL player boxscore