https://peterkellner.net/2023-09-24-how-to-determine-disk-space-usage-in-mysql/