Brazil’s ailing oil industry needs a nudge