VerifBFL: Leveraging zk-SNARKs for A Verifiable Blockchained Federated Learning