Market hours, real hours, and labor productivity