Path-integral molecular dynamics simulation of diamond