Main outcomes from the JASMIN project: development and validation of ASTEC-Na for severe accident simulation in Na cooled fast reactors