What is the standard minimum size of a drain pipe required for a domestic toilet (water closet) under the International Plumbing Code (IPC)?