Biofilm Imaging in Porous Media by Laboratory X-ray Tomography: Combining a Non-Destructive Contrast Agent with Propagation-Based Phase-Contrast Imaging Tools.