Above which flight level do the regulations require a quick donning type of oxygen mask for the flight crew in a pressurized aircraft.