MuVi: Video-to-Music Generation with Semantic Alignment and Rhythmic Synchronization