What is the minimum required size for a vent in relation to the drain it serves, considering that it must be at least half the size of the drain, or larger if the required minimum size is greater?