Spain gets 600 tip-offs about possible Islamic extremists