Downlink MIMO Channel Estimation from Bits: Recoverability and Algorithm