Provable Non-linear Inductive Matrix Completion