What is the ASHRAE numerical designation for the refrigerant formerly known by the trade name Freon-12?