A Comprehensive Survey on Generative AI for Video-to-Music Generation