Performance of portable ventilators at altitude