Neckpinch singularities of Ricci flow