Choosing the right Linux file system for your needs – and why ext4 is so popular