Matrix Completion with Graph Information: A Provable Nonconvex Optimization Approach