Optimality of proper signaling in Gaussian MIMO broadcast channels with shaping constraints | IEEE Conference Publication | IEEE Xplore