Solving the Factorization Problem with P Systems