What is the minimum size of a wet vent under the International Plumbing Code (IPC) for a typical bathroom group?