Frictionless contact formulation for dynamic analysis of nonlinear saturated porous media based on the mortar method