'Lyrics represent one of the few moments in streaming when the listener stops being passive': Musixmatch product chief on why lyrics — not algorithms — are turning casual streamers into super-fans