Quantum model of Fraunhofer diffraction for polarized pure states and connection with the Huygens-Fresnel principle