Call-by-Need in Token-Passing Nets