Python module to extract single files from remote ZIP archives without downloading the entire ZIP