was wondering if anyone knows the difference between redis and mysql and is their an advantage to use a certain one over another