Constitutional rigidity and formal amendment procedures