Semialgebraic Optimization for Lipschitz Constants of ReLU Networks