libfive: a software library and set of tools for solid modeling