Regularities and discrepancies of credit default swaps: a data science approach through Benford's law