Costly punishment sustains indirect reciprocity under low defection detectability