Given some natural number $n$ and the elliptic curve $E:y^2=x^3-x-n$, how can I find the minimal model of $E$?