Measurement of the thermal expansion coefficient of AISI 420 stainless steel between 20 and 293 K