Biotechnology in the petroleum industry: An overview