End-to-End Learning of User Equilibrium with Implicit Neural Networks