How Deezer built a serverless media pipeline for self-produced content