Time-reversible ab initio molecular dynamics.