The U.S. has added major Chinese firms, including BYD, Alibaba and Baidu, to a list of companies it says aid China’s military.