MAP symbol estimation on frequency-flat Rayleigh fading channels via a Bayesian EM algorithm