Nonlinearity Mitigation in WDM Systems: Models, Strategies, and Achievable Rates