Vertical stabilization of tokamak plasmas via extremum seeking