What opera has a French libretto by Edmond Gondinet and Philippe Gille and based on  an autobiographical novel by French author Pierre Loti?