Tensor products of operator systems