How much work is done by a man who tries to push the wall of a house but fails to do so?