Ab initio molecular dynamics simulation of liquid NaSn alloy