Post-quantum cryptography migration at Meta: Framework, lessons, and takeaways