Intersection theory of derived stacks