Theory of high-pressure phases of hydrogen