Dennis Johnson é nomeado para o Hall da Fama