Bayesian Short-Time Spectral Amplitude Estimators For Single-Channel Speech Enhancement