NASA launches U.S.-European satellite mission to monitor global sea levels