Vector Commitment Design, Analysis, and Applications: A Survey