Ab initio molecular dynamics simulations of water under static and shock compressed conditionsNir GoldmanLaurence E. Friedet al.2007SCCM 2007