名词解释：劳动时间。