China’s cash crunch: the numbers