Which Factorization Machine Modeling is Better: A Theoretical Answer with Optimal Guarantee