The Simply-typed Pure Pattern Type System Ensures Strong Normalization