[Distinguished Lecture] Liouville type problems in the regularity theory for the Navier-Stokes equations