Nonlinear Interference Mitigation via Deep Neural Networks