Example to teach about Redis and how to use it with PHP