It’s official: China’s stocks are now in a bear market