A Presheaf Model of Parametric Type Theory