what is linux and why should I use it