building the new opera, oslo, norway