The ISM in spiral galaxies: can cooling in spiral shocks produce molecular clouds?