Theoretical and Computational Guarantees of Mean Field Variational Inference for Community Detection