The artificial intelligence-generated songs owned by Michael Smith were streamed billions of times by his bot accounts between 2017 and 2024