demetrious johnson one championship record