What is a use case of factorization in quantum computing?