Rigorous solutions for electromagnetic scattering from rough surfaces