Spherical tokamak development in Brazil