Xi leaves for state visit to DPRK