Derived intersections