Molecular gas in galaxies, and evolution with redshift