Theoretical Analysis of Bayesian Matrix Factorization