TEDx hits a high note at Lagos event