What are the theories of origin of petroleum?