cvx4ml: Convex Optimization for Machine Learning