Checking financial markets via Benford's law: The S&P 500 case