4. How do formal institutions differ from informal institutions?​