Linux: cos'è un file di swap, quando è necessario e come crearlo