Gilbert–Pollack conjecture on the Steiner ratio of the Euclidean plane