A rigorous analysis of high-order electromagnetic invisibility cloaks