Are C# 9 records immutable by default?