Molecular dynamics simulations of freezing-point depression of TIP4P/2005 water in solution with NaCl