At what size of reinforced concrete pipe does a storm manhole need to be upsized from 4' inside diameter to 5' I.D. and so forth?