Reliable infrared line lists for 13 CO2 isotopologues up to E′=18,000 cm−1 and 1500 K, with line shape parameters