Matrix Completion has No Spurious Local Minimum