How to install php-redis extension using the official PHP Docker image approach?