casper smart was the choreographer for what music video?
(AND music.music_video (JOIN music.music_video.choreographer m.0j24dh1))