Regularities and Discrepancies of Credit Default Swaps: a Data Science approach through Benford's Law