Vivianite and siderite in lateritic iron crust: an example of bioreduction | Synapse