Ubuntu vs. Mint: Which Linux Distro Is Better for Beginners?