Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function