Static analysis of ReLU neural networks with tropical polyhedra