Is electromagnetic gauge invariance spontaneously violated in superconductors?