Demonstration of tokamak vertical stability control based on non-inductive Faraday-effect polarimetry measurements | Synapse