Frictionless contact formulation by mathematical programming technique