Determination of optimal binary defocusing based on digital correlation for fringe projection profilometry