Safety Filter Design for Neural Network Systems via Convex Optimization