Bivariant intersection theory