Which of the following defined the Voronoi diagram: Georgy Voronoy or Yuri Linnik?