CoqQ: Foundational Verification of Quantum Programs