Hydrothermal petroleum generation in Red Sea sediments from the Kebrit and Shaban deeps