This is a written version of the talk I gave at WAQ19. Watch the video with English captions on YouTube.