What are the differences between formal and informal probate proceedings?