I need to be able to extract a single file from a .zip file in python. The zip file will contain many files. The file to extract will be the only .csv file in the zip, but the full name of the csv file will not be known. Can this be done in python?