publication venue for Strong no-go theorem for Gaussian quantum bit commitment 2010 Quantum de Finetti theorem in phase-space representation 2009