Comparative analysis of carboxysome shell proteins