The Gell-Mann–Nishijima formula was proposed by an American physicist who received a Nobel Prize in what year?