Johannes Praetorius (matemático)