A PDE Formalization of Retinex Theory