Text this: State-of-the-art of research on building anti-deformation technology in coal mining subsidence area