Pactio de tempore laboris (industria)