Metagenomics deciphers diagenetic processes of ferruginous mineralization in the deep biosphere