Sublinear scaling of the cellular proteome with ploidy