An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes