how long is a pig penis