what is linux and how to use it