Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus