2019面试题：有没有使用过Redis? Redis是什么？