A truly variationally consistent and symmetric mortar-based contact formulation for finite deformation solid mechanics