What is petroleum, and where does it come from?