Who has received more medals, Andrei Okounkov or Valery Goppa?