Simulating EXPSPACE Turing machines using P systems with active membranes