Which operating system is known for being highly customizable and having a wide variety of distributions available?