Pinhas, Biblische Person