Optimization Over Trained Neural Networks: Taking a Relaxing Walk