Concurrent patent proceedings: to stay or not to stay?