A fluid property library for humid air and the refrigerant R134a