Microstructure and mechanical properties of HR3C austenitic steel after service