Bimodal protein solubility distribution revealed by an aggregation analysis of the entire ensemble of Escherichia coli proteins