Carleman estimate for the Navier-Stokes equations and applications