Type II parametric downconversion in the Wigner-function formalism: entanglement and Bell’s inequalities