When Deep Learning Meets Polyhedral Theory: A Survey