procarboxysomes