The standard size for a residential drain pipe connected to a kitchen sink is typically larger than one for a bathroom sink. Why?