A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams