Why are there so many GNU/Linux distributions? How do you choose one of them?