Who has won more awards Grigory Margulis or Semyon Aranovich Gershgorin?