Arithmetic intersection theory