Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol