DDR4 versus DDR5: Is it time to upgrade your RAM?