Quantum F-polynomials in the theory of cluster algebras