MIA vs OKC 10/01/23 Q4 player boxscore