NBA adjusts Gregg Popovich’s career record, crediting Mitch Johnson with 77 Spurs games from ’24-25