A Closed-Form Nonlinearity Model for Forward-Raman-Amplified WDM Optical Links