We gratefully acknowledge the support of MathWorks, whose funding has enabled the development of this project.