Wigner functions and quantum interference in optics