A prototype protein nanocage minimized from carboxysomes with gated oxygen permeability