A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders