Permeability modeling of a basin-bounding fault damage zone in the Rio do Peixe Basin, Brazil