Using Police Records in Labor History: A Case Study of the Brazilian DOPS.