A Semi-Analytical Model for Macaroni MOSFETs With Application to Vertical Flash Memories