s3_download_file function

Download a file from S3 and store it at a specified file location