Big Coal Is Downsizing in China, and Stock Investors Like It