A Survey on Theoretical Advances of Community Detection in Networks