An equality-based weighted residual formulation for three-dimensional contact in aeroengine blades