The Design, Productization, and Evaluation of a Serverless Workflow-Management System