[php] proper way to logout from a session in PHP