Symbol Detection for Intelligent Reflecting Surface-aided Orthogonal Time Frequency Space Systems