A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization