Giani, S. Convergent adaptive finite element methods for photonic crystal applications. Manuscript submitted for publication