How is petroleum formed?