A New Theory of Estimating Shape from Shading by Using a Constraint at Zero-crossing of Image Brightness