Labor-Market Fluctuations in a High-Frequency Real-Business-Cycle Model