SuperEx Educational Series: Understanding State Size and State Bloat