China names Xi Jinping president at the National People's Congress