ATR 42 is an airliner developed and manufactured by a manufacturer headquartered where ?