Linux vs NixOS | What are the differences?