How do portal and portal 2 stories tie together