Implementation of ultrasoft pseudopotentials in ab initio molecular dynamics.