Ab initio path integral molecular dynamics : theory and applications