The choice of the rib thickness in the mass-production of ribbed R/C floors