Analysis of Theoretical and Applied Machine Learning Models for Network Intrusion Detection