Spectroscopic study and astronomical detection of doubly 13C-substituted ethyl cyanide