Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach