The opera, Kuningas lähtee Ranskaan, is an opera in three acts, based on the novel by Paavo Haavikko, the singing version is by a composer born on what day?