A Time Series Classification Dataset Based on the Average Price of Concrete in major Cities in China