Cartesian products of simplicial complexes