DFT and Local-MP2 Periodic Study of the Structure and Stability of Two Proton-Ordered Polymorphs of Ice