A Variational Bayes Approach to Decoding in a Phase-Uncertain Digital Receiver