Does an ext4 partition have any advantages over an ext3 partition?