Quando o pênis endurece, aumenta em quanto?