Density-functional studies of high-pressure properties and molecular dissociations of halogen molecular crystals