Explain to a newbie the difference between /dev and /mnt.