Does anyone know the history of why or how the melody of Hatikva was chosen to be the Israel National Anthem? I know that Smetana also used this folk melody.