Beyond what is available in the ConCert repo, are there any tutorials available that describe how to write smart contracts with ConCert and then extract them into Concordium-compliant Rust code>
No.
Also you should treat ConCert as a research project with all the caveats that entails. There are no claims about suitability for production at this point in time.