Huygens' principle in electromagnetics