Shock-induced polymorphic transitions of PbF2 up to 1 TPa and their implications for the universal behavior of shocked AX2 compounds