Neural Networks and (Virtual) Extended Formulations