Extraction of petroleum