10,000 killed in China’s 1989 Tiananmen crackdown: British archive