Petrobras restarts production from Brazilian gas field following pipeline repairs