Binary Neural Networks for Large Language Model: A Survey