Jimmy Butler has officially been traded to a new team