How to build and push a Docker image using GitHub actions