When to use redirect() vs. router.push() in Next.js

Explaining the two methods for programmatically redirecting a user in Next.js components, server functions, or route handlers.