Who was known for interpolation, Nikolay Mitrofanovich Krylov or Leonty Magnitsky?