average erect girth