Potential-based Formulations of the Navier-Stokes Equations and their Application