According to the IPC, what is the minimum required height that a standard vent pipe must terminate above a roof surface that is not intended for any other use besides weather protection?