Spain's spy agency warned of Ceuta border breach before crisis, declassified files show