How do the formal and informal processes of amending the constitution differ?