Undecidability of the spectral gap