Official: Brazil may become world’s 7th largest oil producer