Rigorous analysis of guided waves in doubly periodic structures